Design methods

Results: 3925



#Item
121Theoretical computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Constraint satisfaction / Combinatorial optimization / Fundamenta Informaticae / Satisfiability / Mathematical optimization

Fundamenta Informaticaei–ii i DOIFIIOS Press

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2010-11-05 06:10:40
122Renewable energy / Heating /  ventilating /  and air conditioning / Heat transfer / Spacecraft design / Spacecraft thermal control / Temperature control / PharmaSat / Spacecraft / Thermography / CubeSat / Solar thermal collector / Passive solar building design

State-of-the-Art Thermal Analysis Methods and Validation for Small Spacecraft

Add to Reading List

Source URL: www.its.caltech.edu

Language: English - Date: 2013-03-07 15:09:13
123Formal methods / Automated theorem proving / Logic in computer science / Boolean algebra / Electronic design automation / Conflict-Driven Clause Learning / Boolean satisfiability problem / Satisfiability modulo theories / Clause / Vampire / Propositional calculus / Lambda calculus

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-06-17 09:50:06
124Operations research / Design of experiments / Quality / Quality control / Statistical methods / Mathematical optimization / Response surface methodology / Screening

Ann Inst Stat Math:659–671 DOIs10463Optimality of pairwise blocked definitive screening designs Yaping Wang · Mingyao Ai · Kang Li

Add to Reading List

Source URL: www.ism.ac.jp

Language: English - Date: 2016-06-28 03:34:42
125Experiments / Causal inference / Design of experiments / Social psychology / Economic methodology / Experimental economics / Experiment / Social preferences / Web-based experiments / Field experiment / Dictator game / Economics

Experimental Methods: Basic & Advanced    Academic year  – Summer Term      Instructors 

Add to Reading List

Source URL: sutter.wiso.uni-koeln.de

Language: English - Date: 2016-04-14 04:04:37
126

USE OF PRIVATE DESIGN FIRMS GOOD PUBLIC POLICY Prevailing economic conditions are forcing government entities and agencies to look for the most efficient methods to deliver vital infrastructure support. Using private des

Add to Reading List

Source URL: www.acecny.org

Language: English - Date: 2015-11-18 12:09:58
    127Communication design / Creative director / Occupations / Design methods / Art director

    Digital Art Director Creative Studio Temporary to Permanent Opportunity

    Add to Reading List

    Source URL: thisistommy.com

    Language: English - Date: 2016-06-16 11:44:37
    128Graphics hardware / Freedesktop.org / ARM architecture / System on a chip / Wayland / Graphics processing unit / Linux / Compositor / Tegra / Draft:MxGPU / COQOS

    Whitepaper Hardware Convergence & Functional Safety: Optimal Design Methods in Today’s Automotive Digital Instrument Clusters Version:

    Add to Reading List

    Source URL: www.mobica.com

    Language: English - Date: 2016-06-29 08:49:18
    129

    DESIGN METHODS FOR COMPOSITE REINFORCED METALLIC BEAMS Dag Linghoff1 and Alann André2 1 Chalmers University of Technology, Göteborg, Sweden,

    Add to Reading List

    Source URL: www.escm.eu.org

    Language: English - Date: 2008-08-27 07:57:05
      130

      Methods for the Design of Medical Data Base Systems

      Add to Reading List

      Source URL: people.stern.nyu.edu

      Language: English - Date: 2005-11-16 20:19:48
        UPDATE